temporal logic language
un. 時序邏輯語言
[網絡] 前言時序邏輯語言；時態邏輯語言
熱門查詢
- clockwork n. 發條裝置；鐘表裝置
- Fitzwilliam [人名] [英格蘭人姓氏] 菲茨威廉取自父名，來源于Fitz+Wiliam,含義是“威廉之子”(son of William); [地名] [英國] 菲茨威廉
- acclimatise vi.& vt. （使）服水土，（使）適應新氣候或環境
- scaup n. 斑背潛鴨
- impale vt. 刺穿；釘住；使絕望
- paceman = fast bowler
- Orme [人名] [北方英格蘭人姓氏] 奧姆來源于古諾斯語人名，含義是“蛇，龍”(snake,serpent,dragon)
- faith n. 信仰；信念；信任；忠實 n. (Faith)人名；(匈)福伊特；(英)費思，費絲(女名)；(瑞典)法伊特
- sales n. 銷售（sale的復數）；銷售額 adj. 銷售的，售貨的；有關銷售的 n. (Sales)人名；(意、西、葡)薩萊斯；(法)薩勒；(英)塞爾斯
- clumsy adj. 笨拙的 笨拙地 不得當的 不得當地
- steven n. 史蒂文（男子名）
- flatworm n. [無脊椎] 扁蟲；[無脊椎] 扁形蟲（等于platyhelminth）
- venturing 投機
- prey n. 捕食；犧牲者；被捕食的動物 vi. 捕食；掠奪；折磨 n. (Prey)人名；(英、法)普雷；(德)普賴
- gas station n. （汽車）加油站 [網絡] 汽油加油站；汽油站；煤氣
- Southend [人名] 索森德; [地名] [加拿大、英國] 紹森德
- frumpy adj. 單調乏味的; 衣著邋遢的
- francaise 弗朗索瓦（人名）
- jacky n. 水手；杜松子酒
- Friedan 弗里丹（人名）
